RigorousDesign of Real-TimeEmbeddedControl Systems

Two examples of the rigorous design of embedded control systems based on Platform Based Design (PBD) methodology, originally advanced by University of California at Berkeley and the PARADES GEIE research lab, are presented in this paper. Even though the included examples belong to different industrial applications, Finite State Machines (FSM) are used in both applications as the main model of computations for modeling the underlying control strategies. The overall design cycle including modeling, linking models with the requirements, automatic code generation, and finally testing and validation is presented. In one of the applications, the developed control models have been validated on the actual hardware and the same is expected to be done for the second application in this year.